Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development
نویسندگان
چکیده
Within Requirements Engineering it is a difficult task to systematically increase the quality of individual requirements and the whole specification. In this position paper we present our current research effort on a requirement engineering process for automotive software, which is an intermediate result of the mobilSoft project. In order to improve the requirements specification we propose the integration of conceptual dimensions of quality – namely concretization and formalization – into the Requirements Engineering Process (REP) and we illustrate how a process using these dimensions will guide and support achieving completeness of the specification.
منابع مشابه
DEFINING AND USING REQUIREMENTS PATTERNS FOR EMBEDDED SYSTEMS By SASCHA
DEFINING AND USING REQUIREMENTS PATTERNS FOR EMBEDDED SYSTEMS By SASCHA J. KONRAD It is well-known that requirements modeling and analysis is one of the most difficult tasks in the software development process, but this problem is greatly exacerbated for embedded systems given the hardware constraints and the potentially complex control logic. This research investigates how an approach similar ...
متن کاملSystematic Model-Based Testing of Embedded Automotive Software
The software embedded in automotive control systems increasingly determines the functionality and properties of present-day motor vehicles. The development and test process of the systems and the embedded software becomes the limiting factor. While these challenges, on the development side, are met by employing model-based specification, design, and implementation techniques, satisfactory solut...
متن کاملAutomobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote)
I. ABSTRACT Automotive systems are turning out to be one of the most complex consumer electronic systems being ever built. For the modern day users, they are products like smartphones and tablets but in size, complexity and quality and safety requirements they match if not exceed aircraft, and similar high integrity systems. Many of the major advances in Software engineering like model based de...
متن کاملAn Adaptive Cruise Control System { A Case Study for the Industrial Use of Formal
Adaptive cruise control systems are typical examples of software-based, embedded systems in automotive electronics. To ensure an eecient development process of such systems, appropriate techniques for the speciication and validation have to be applied. In particular, notations and techniques for a precise and executable speciication of the system and the software have to be provided. In our tal...
متن کاملTackling Automotive Challenges with an Integrated RE & Design Artifact Model
The automotive industry faces the need for large and complex embedded systems. The original equipment manufacturers (OEMs) assign the development of subsystems to suppliers. Therefore they are confronted with many challenges concerning specification, documentation, and integration until start of production (SOP). A major part of these challenges can be tackled with continuous and integrated mod...
متن کامل